Theory Interpretation in Simple Type Theory
نویسنده
چکیده
Theory interpretation is a logical technique for relating one axiomatic theory to another with important applications in mathematics and computer science as well as in logic itself. This paper presents a method for theory interpretation in a version of simple type theory, called lutins, which admits partial functions and subtypes. The method is patterned on the standard approach to theory interpretation in firstorder logic. Although the method is based on a nonclassical version of simple type theory, it is intended as a guide for theory interpretation in classical simple type theories as well as in predicate logics with partial
منابع مشابه
Fuzzy type theory with partial functions
This paper is a study of fuzzy type theory (FTT) with partial functions. Out of several possibilities we decided tointroduce a special value ”∗” that represents ”undefined”. In the interpretation of FTT, this value lays outside of thecorresponding domain. In the syntax it can be naturally represented by the description operator acting on the empty(fuzzy) set, because choosing an element from it...
متن کاملAyn Rand’s Egoism: Theory and Analysis
Ayn Rand was a Russian-born American philosopher, novelist, and playwright, whose interpretation of ethical egoism is one of the most important interpretations of this theory. Rand is a proponent of intellectual egoism, and rationalism is a fundamental element in her ethical theory. This article attempts to review, analyze, and criticize her interpretation of ethical egoism. Additionally, an...
متن کاملRereading the Interpretation of "There is no compulsion in religion"in the Light of the Theory of Coherence and Continuity of the Qur'an and Its Relation to Freedom of Religion and Belief
The Quranic sentence "There is no compulsion in religion" has been interpreted differently by commentators in different periods. Some has taken it as the permission for freedom of belief from the verse and some has considered it in conflict with the verses of fighting and apostasy. The distinction and diversity of the commentators' understanding of the verses of the Qur'an is related to the men...
متن کاملSimple Two Variable Refined Theory for Shear Deformable Isotropic Rectangular Beams
In this paper, a displacement-based, variationally consistent, two variable refined theory for shear deformable beams is presented. The beam is assumed to be of linearly elastic, homogeneous, isotropic material and has a uniform rectangular cross-section. In this theory, the beam axial displacement and beam transverse displacement consist of bending components and shearing components. The assum...
متن کاملOrganizational Black Hole Theory
There are issues in organizations that require new theoretical formulation. Hence, metaphorical theorizing is used in the study of organizations to interpret them and understand their complexities. In this method, the organization is likened to an entity and one of the key features of that entity is generalized to the organization. It should be borne in mind that most organizational theories ar...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993